Infinite games and reduced products
نویسندگان
چکیده
منابع مشابه
Infinite Games and Uniformization
The problem of solvability of infinite games is closely connected with the classical question of uniformization of relations by functions of a given class. We work out this connection and discuss recent results on infinite games that are motivated by the uniformization problem. The fundamental problem in the effective theory of infinite games was posed by Church in 1957 (“Church’s Problem”; see...
متن کاملInfinite Products of Infinite Measures
Let (Xi, Bi, mi) (i ∈ N) be a sequence of Borel measure spaces. There is a Borel measure μ on ∏ i∈N Xi such that if Ki ⊆ Xi is compact for all i ∈ N and ∏ i∈N mi(Ki) converges then μ( ∏ i∈N Ki) = ∏ i∈N mi(Ki)
متن کاملInfinite Sums, Infinite Products, and ζ(2k)
The most basic concept is that of an infinite sequence (of real or complex numbers in these notes). For p ∈ Z, let Np = {k ∈ Z : k ≥ p}. An infinite sequence of (complex) numbers is a function a : Np → C. Usually, for n ∈ Np we write a(n) = an, and denote the sequence by a = {an}n=p. The sequence {an}n=p is said to converge to the limit A ∈ C provided that for each > 0 there is an N ∈ Z such th...
متن کاملInfinite products and paracontracting matrices
In [Linear Algebra Appl., 161:227{263, 1992] the LCP-property of a nite set of square complex matrices was introduced and studied. A set is an LCP-set if all left in nite products formed from matrices in are convergent. It was shown earlier in [Linear Algebra Appl., 130:65{82, 1990] that a set paracontracting with respect to a xed norm is an LCP-set. Here a converse statement is proved: If is a...
متن کاملInfinite-Duration Bidding Games
Two-player games on graphs are widely studied in formal methods as they model the interaction between a system and its environment. The game is played by moving a token throughout a graph to produce an infinite path. There are several common modes to determine how the players move the token through the graph; e.g., in turn-based games the players alternate turns in moving the token. We study th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematical Logic
سال: 1981
ISSN: 0003-4843
DOI: 10.1016/0003-4843(81)90012-7